TAGs: stated properties reduce